มหาวิทยาลัยเกษตรศาสตร์ วิทยาเขตศรีราชา |
|
คำอธิบายรายวิชา |
|
01418218
|
การโปรแกรมภาษาโพรล็อก
|
3(2-2-5)
|
|
Prolog Programming
|
พื้นฐาน (Pre-requisite) 01418112 หรือ 01418114
พื้นฐานตรรกศาสตร์ เพรดิเคต การโปรแกรมเชิงตรรกะ โครงสร้างและส่วนย่อยของภาษาโพรล็อก หลักการโปรแกรมภาษาโพรล็อก การหาผลลัพธ์และการรวม การแทนความรู้ การตรวจสอบความสมเหตุสมผล การค้นหา และการประยุกต์
Basics of logic. Predicate. Logic programming. Structure and elements of Prolog. Principle of programming in Prolog. Resolution and unification. Knowledge representation. Reasoning. Searching and applications.
|
|
|